翻訳と辞書 |
Abstract State Machine Language : ウィキペディア英語版 | Abstract State Machine Language
Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines〔 Omar Badreddin (2010) "Umple: a model-oriented programming language." ''Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2''. IEEE, 2010.〕 formal method and developed by Microsoft.〔Chen, Kai, Janos Sztipanovits, and Sandeep Neema. "Toward a semantic anchoring infrastructure for domain-specific modeling languages." Proceedings of the 5th ACM international conference on Embedded software. ACM, 2005.〕 AsmL is a functional language (which are commonly used in academic research).〔Grieskamp, Wolfgang, et al. "Testable use cases in the abstract state machine language." Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on. IEEE, 2001.〕 XASM is an open source implementation of the language. == References ==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Abstract State Machine Language」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|